--ok
--f . g = \x -> f(g x)               
--(.) f g = f(g)

--not ok
--f . g = let \x -> g in f x
--f(g(x)) = \x -> f g x
--(.) f g = f(g(.))


